Möbius Trace Analysis with Traviando

نویسندگان

  • Ruth Lamprecht
  • Peter Kemper
چکیده

Model verification and validation is crucial to the credibility of a simulation study. The ability to investigate the detailed behavior of a complex stochastic model that is simulated in a powerful modeling environment like Möbius is important to identify root causes of errors in models or to gain confidence that a model performs as expected. In this paper, we briefly describe how the Traviando trace analyzer sheds light on what happens in a simulation run of a Möbius

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Traviando - a Trace Analyzer to Debug Simulation Models

Verification and validation of simulation models are crucial steps to the success of a simulation project. Traces are a common and powerful mean to document the dynamic behavior of a model and are generated by most simulation engines. In this paper, we describe techniques and corresponding tool support that helps a modeler to gain insight in the dynamic behavior of complex simulation models bas...

متن کامل

Axial distances in discrete Möbius groups.

We describe here new lower bounds for the trace of the commutator of a discrete two-generator group of Möbius transformations. These results lead to sharp estimates for the distance between the axes of elliptics in a discrete group and hence to new bounds for the volume of hyperbolic manifolds and orbifolds that will be discussed elsewhere.

متن کامل

Möbius inversion formula for the trace group

A trace group (monoid) is the quotient of a free group (monoid) by relations of commutation between some pairs of generators. We prove an analog for the trace group of the Möbius inversion formula for the trace monoid (Cartier and Foata, 1969). c © 200? Académie des sciences/Éditions scientifiques et médicales Elsevier SAS Une formule d’inversion de Möbius pour le groupe de traces Résumé. Un gr...

متن کامل

Determinants and Möbius functions in trace monoids

We show that the independence relation deening a trace monoid M admits a transitive orientation if and only if the characteristic series of a lexicographic cross section of M satisses an equation of the form Det(Id ? X) = 1, where X is a matrix representing the minimum nite automaton recognizing and Id is the identity matrix. This implies that, if the independence relation of a trace monoid M a...

متن کامل

Isometries of the Hyperbolic Plane

In this paper, I will explore basic properties of the group PSL(2,R). These include the relationship between isometries of H2, Möbius transformations, and matrix multiplication. In addition, this paper will explain a method of characterizing the aforementioned transformations by the trace of their matrices through looking at the number of xed points of a transformation.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008